Software verification - PDFSEARCH.IO - Document Search Engine

Software verification
Results: 1531

#	Item
511	BAP: A Binary Analysis Platform David Brumley, Ivan Jager, Thanassis Avgerinos, and Edward J. Schwartz Carnegie Mellon University 5000 Forbes Ave., Pittsburgh, PA, USA Abstract. BAP is a publicly available infrastructur Add to Reading List Source URL: users.ece.cmu.edu Language: English - Date: 2014-12-17 15:18:11 Computer programming Software engineering Programming language implementation Runtime verification Formal verification X86 Compiler Pin Disassembler Computing Formal methods Logic in computer science
512	Datasheet In-Vehicle Network Design Synopsys’ Saber® simulator is a complete design and verification solution for in-vehicle communication networks. Add to Reading List Source URL: www.synopsys.com Language: English - Date: 2015-01-28 08:15:38 Operations research Simulation FlexRay Network simulation SPICE Reliability engineering Hardware description language CAN bus Vehicle bus Technology Electronic engineering Software
513	Automatic Verification for Interactive Graphical Programs Carl Eastlund Matthias Felleisen Northeastern University Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2015-03-24 18:44:54 Lisp programming language Formal methods Functional languages Cross-platform software Automated theorem proving ACL2 Common Lisp Formal verification Lisp Software engineering Computing Computer programming
514	Document Ref : MED-SOC-DPQ-001 Issue Date : 26 april 2005 Issue : B Add to Reading List Source URL: ghrsst-pp.metoffice.com Language: English - Date: 2005-09-01 10:23:52 Systems science Acceptance testing Ghrsst-pp Quality assurance Reliability engineering CNR Verification and validation Systems engineering process Validation Systems engineering Technology Software
515	KEMCO Effective MVE system International Monitoring, Verification and Enforcement Conference Add to Reading List Source URL: www.iea-4e.org Language: English - Date: 2010-09-27 02:23:56 Materials science Reliability engineering Software quality Survival analysis United States Environmental Protection Agency Efficiency Systems engineering Engineering Thought Design for X Failure
516	Report from Dagstuhl Seminar[removed]AI meets Formal Software Development Edited by Alan Bundy1 , Dieter Hutter2 , Cliff B. Jones3 , and Add to Reading List Source URL: drops.dagstuhl.de Language: English - Date: 2012-10-05 02:45:26 Applied mathematics Formal methods Logic in computer science Reasoning Proof assistant Automated reasoning ACL2 Formal verification Isabelle Theoretical computer science Mathematical software Automated theorem proving
517	Quality Management systems - Process Validation Guidance Add to Reading List Source URL: www.variation.com Language: English - Date: 2014-12-31 23:28:17 Systems engineering Validity Evaluation Quality Validation Verification and validation Software development process Verification Test method Technology Pharmaceutical industry Science
518	Press Release December 9, 2010 For immediate release New released UpdateStar Drivers delivers all driver updates for computer hardware UpdateStar Drivers is the latest in a row of new software product additions to Berli Add to Reading List Source URL: client.updatestar.com Language: English - Date: 2010-12-09 06:44:57 Device drivers Device driver UpdateStar Microsoft Windows Windows XP Device driver synthesis and verification Wi-Fi operating system support Software System software Computing
519	Formal Verification of a C Compiler Front-end Sandrine Blazy, Zaynah Dargaye, and Xavier Leroy INRIA Rocquencourt[removed]Le Chesnay, France {Sandrine.Blazy, Zaynah.Dargaye, Xavier.Leroy}@inria.fr Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2006-05-16 04:47:55 Procedural programming languages Data types C++ Logic in computer science Programming language semantics Pointer C ALGOL 68 Monad Software engineering Computing Programming language theory
520	Proof General Organize your proofs! User Manual for Proof General 4.2pre January 2012 proofgeneral.inf.ed.ac.uk Add to Reading List Source URL: proofgeneral.inf.ed.ac.uk Language: English - Date: 2015-04-19 00:44:55 Functional languages Proof assistant Mathematical logic Theoretical computer science Emacs Coq Isabelle Formal verification Mathematical proof Software Automated theorem proving Formal methods

UPDATE